<script type="text/javascript">location.href="/tools/oj-tool"</script>
